Logical Reconstruction of Normative RDF
نویسندگان
چکیده
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the normative W3C definitions of RDF/RDFS and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantics for basic SPARQL.
منابع مشابه
Logical Reconstruction of RDF and Ontology Languages
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the standard W3C definitions of RDF and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantics for ...
متن کاملNavigating Between Stealth Advocacy and Unconscious Dogmatism: The Challenge of Researching the Norms, Politics and Power of Global Health
Global health research is essentially a normative undertaking: we use it to propose policies that ought to be implemented. To arrive at a normative conclusion in a logical way requires at least one normative premise, one that cannot be derived from empirical evidence alone. But there is no widely accepted normative premise for global health, and the actors with the power to set policies may use...
متن کاملInference rules for RDF(S) and OWL in N3Logic
This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language ...
متن کاملSemantic Web Research Inspired by W3C Standards, or the Hell of the Practice without Theory
The Semantic Web is the initiative of the World Wide Web Consortium (W3C) to make information on the Web readable not only by humans but also by machines. RDF is the data model for Semantic Web data, and SPARQL is the query language for this data model. RDF and SPARQL are the output of long standardizations processes led by the W3C. These processes, usually in charge of developers, are not alwa...
متن کاملA Semantics-Oriented Storage Model for Big Heterogeneous RDF Data
Increasing availability of RDF data covering different domains is enabling ad-hoc integration of different kinds of data to suit varying needs. This usually results in large collections of data such as the Billion Triple Challenge datasets or SNOMED CT, that are not just “big” in the sense of volume but also “big” in variety of property and class types. However, techniques used by most RDF data...
متن کامل